The Whitehead Categorical Group of Derivations
نویسنده
چکیده
Given a categorical crossed module H→ G, where G is a group, we show that the category of derivations, Der(G,H), from G into H has a natural monoidal structure. We introduce the Whitehead categorical group of derivations as the Picard category of Der(G,H) and then we characterize the invertible derivations, with respect to the tensor product, in this monoidal category. 2000 Mathematics Subject Classification: 18D10, 20J05.
منابع مشابه
On Categorical Crossed Modules
The well-known notion of crossed module of groups is raised in this paper to the categorical level supported by the theory of categorical groups. We construct the cokernel of a categorical crossed module and we establish the universal property of this categorical group. We also prove a suitable 2-dimensional version of the kernelcokernel lemma for a diagram of categorical crossed modules. We th...
متن کاملOn the Second Cohomology Categorical Group and a Hochschild-serre 2-exact Sequence
Résumé. We introduce the second cohomology categorical group of a categorical group G with coefficients in a symmetric G-categorical group and we show that it classifies extensions of G with symmetric kernel and a functorial section. Moreover, from an essentially surjective homomorphism of categorical groups we get 2-exact sequences à la Hochschild-Serre connecting the categorical groups of der...
متن کاملMODULE GENERALIZED DERIVATIONS ON TRIANGULAUR BANACH ALGEBRAS
Let $A_1$, $A_2$ be unital Banach algebras and $X$ be an $A_1$-$A_2$- module. Applying the concept of module maps, (inner) modulegeneralized derivations and generalized first cohomology groups, wepresent several results concerning the relations between modulegeneralized derivations from $A_i$ into the dual space $A^*_i$ (for$i=1,2$) and such derivations from the triangular Banach algebraof t...
متن کاملWhitehead Products in Function Spaces: Quillen Model Formulae
We study Whitehead products in the rational homotopy groups of a general component of a function space. For the component of any based map f : X → Y , in either the based or free function space, our main results express the Whitehead product directly in terms of the Quillen minimal model of f . These results follow from a purely algebraic development in the setting of chain complexes of derivat...
متن کاملOn categorical equivalence of Gentzen-style derivations in IMLL
A new deciding algorithm for categorical equivalence of derivations in Intuitionistic Multiplicative Linear Logic (IMLL) is proposed. The algorithm is based uniquely on manipulations with Gentzen-style derivations. The algorithm has low polynomial complexity. The paper also contains results concerning permutability of rules and its connection with categorical equivalence. c © 2002 Elsevier Scie...
متن کامل